Helouet, Loic: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An event structure based semantics for high-level message sequence charts

HÉLOUËT, LOÏC, JARD, CLAUDE, CAILLAUD, BENOÎT

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 1.24 MB

english, 2002

2

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Diagnosability of repairable faults

Fabre, Eric, Helouet, Loic, Lefaucheux, Engel, Marchand, Herve

Year:

2016

Language:

english

File:

PDF, 201 KB

english, 2016

3

Diagnosability of repairable faults

Fabre, Eric, Hélouët, Loïc, Lefaucheux, Engel, Marchand, Hervé

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 1.73 MB

english, 2017

4

Combining Free choice and Time in Petri Nets

Akshay, S., Hélouët, Loïc, Phawade, Ramchandra

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 668 KB

english, 2018

5

Scenarios and Covert Channels: Another Game...

Loïc Hélouët, Marc Zeitoun, Aldric Degorre

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 433 KB

english, 2005

6

Merging Scenarios

Jacques Klein, Benoit Caillaud, Loïc Hélouët

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 485 KB

english, 2005

7

Causal Message Sequence Charts

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. Thiagarajan, Shaofa Yang

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.14 MB

english, 2009

8

A Semantics for Timed MSC

Tong Zheng, Ferhat Khendek, Loïc Helouët

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 310 KB

english, 2002

9

Regular set of representatives for time-constrained MSC graphs

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 232 KB

english, 2012

10

Distributed implementation of message sequence charts

Abdallah, Rouwaida, Hélouët, Loïc, Jard, Claude

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

11

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - Document Based Modeling of Web Services Choreographies Using Active XML

Hélouët, Loic, Benveniste, Albert

Year:

2010

Language:

english

File:

PDF, 253 KB

english, 2010

12

Diagnosis from scenarios

Hélouët, Loïc, Marchand, Hervé, Genest, Blaise, Gazagnaire, Thomas

Journal:

Discrete Event Dynamic Systems

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

13

[ACM Press the 5th international conference - Bonn, Germany (2006.03.20-2006.03.24)] Proceedings of the 5th international conference on Aspect-oriented software development - AOSD '06 - Semantic-based weaving of scenarios

Klein, Jacques, Hélouët, Loïc, Jézéquel, Jean-Marc

Year:

2006

Language:

english

File:

PDF, 838 KB

english, 2006

14

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A grammatical approach to data-centric case management in a distributed collaborative environment

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe

Year:

2015

Language:

english

File:

PDF, 576 KB

english, 2015

15

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Sessions with an Unbounded Number of Agents

Akshay, S., Helouet, Loic, Mukund, Madhavan

Year:

2014

Language:

english

File:

PDF, 285 KB

english, 2014

16

Active workspaces

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe, Fondze, Nsaibirni Robert

Journal:

ACM SIGAPP Applied Computing Review

Year:

2015

Language:

english

File:

PDF, 1.41 MB

english, 2015

17

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Non-interference in Partial Order Models

Berard, Beatrice, Helouet, Loic, Mullins, John

Year:

2015

Language:

english

File:

PDF, 401 KB

english, 2015

18

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Combining Free Choice and Time in Petri Nets

Akshay, S., Helouet, Loic, Phawade, Ramchndra

Year:

2016

Language:

english

File:

PDF, 278 KB

english, 2016

19

Petri Nets with Structured Data

Badouel, Eric, Hélouët, Loïc, Morvan, Christophe, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 587 KB

english, 2016

20

Realizability of schedules by stochastic time Petri nets with blocking semantics

Hélouët, Loïc, Kecir, Karim

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 2.09 MB

english, 2017

21

[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Concurrent Secrets with Quantified Suspicion

Helouet, Loic, Marchand, Herve, Mullins, John

Year:

2018

Language:

english

File:

PDF, 279 KB

english, 2018

22

Opacity with powerful attackers

Hélouët, Loïc, Marchand, Hervé, Ricker, Laurie

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 570 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски